A formal ontological approach to causality embedded in the top level ontology of GFO (General Formal Ontology)
نویسنده
چکیده
منابع مشابه
Persistence, Change, and the Integration of Objects and Processes in the Framework of the General Formal Ontology
In this paper we discuss various problems, associated to temporal phenomena. These problems include persistence and change, the integration of objects and processes, and truth-makers for temporal propositions We propose an approach which interprets persistence as a phenomenon emanating from the activity of the mind, and which, additionally, postulates that persistence, finally, rests on persona...
متن کاملOntology of functions: a domain independent framework for modeling functions
In many domains entities are considered in terms of their functions, starting with the design of artifacts, through natural and social sciences and ending with folk theories and common sense knowledge. However, there is a lack of a domain-independent ontological framework for representing and modeling functions. Such a framework could be given by top-level ontologies, providing the specificatio...
متن کاملPosition Statement: Towards a Definition of Roles for Software Engineering and Programming Languages
Analyzing the notion of role in the literature yields a plurality of views and definitions. In [1–3], we study a broad range of approaches in order to interrelate and harmonize them (where possible) in the context of an ontological framework, whose central component is the top-level ontology General Formal Ontology (GFO) [4]. A major goal of our work is the provision of a role definition which ...
متن کاملPersistence , Change , and the Integration of Objects and Processes in GFO
In this paper we discuss various problems associated to temporal phenomena. These problems include persistence and change, the integration of objects and processes, properties and functions of processes, and truth-makers for temporal propositions. We propose an approach which interprets persistence as a phenomenon emanating from the activity of the mind, and which, additionally, postulates that...
متن کامل?Logic and Formal Ontology: Is the Final Formal Ontology Possible
Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...
متن کامل